The Shop Planning System

rithm that is provably sound and complete across a large class of planning domains. It plans for tasks in the same order that they will later be executed, and thus, it knows the current world state at each step of the planning process. SHOP takes advantage of this knowledge by allowing a high degree of expressive power in its knowledge bases. For example, SHOP’s preconditions can include logical inferences, complex numeric computations, and calls to external programs. SHOP is powerful enough that an implementation of it is being used as an embedded planner in the Naval Research Laboratory’s HICAP system.